$\forall$$k$:$\mathbb{N}$, $i$, $j$:$\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$. Bij($\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$; $\mathbb{N}$$_{\mbox{\scriptsize $<$$k$}}$; ($i$, $j$))